21. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
22. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
23. Principles and Practice of Constraint Programming CP 2004 :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer Appl. in Administrative Data Processing.,Computer science.,Information systems.,Logic design.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
6-76
.
66
24. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
25. Programming for Software Sharing
Author: edited by D. T. Muxworthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Programming Languages, Compilers, Interpreters.,Software Engineering/Programming and Operating Systems.
Classification :
QA76
.
6
E358
1983
26. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
27. Programming with actors :
Author: Alessandro Ricci, Philipp Haller (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Intelligent agents (Computer software),Computer System Implementation.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Special Purpose and Application-Based Systems.,Computer programming-- software development.,Computer programming.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Intelligent agents (Computer software),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
I58
28. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
29. Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings
Author: Andreas Krall )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Programming -- Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2826
30. Software engineering, business continuity, and education :
Author: Tai-hoon Kim...[et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing, Congresses.,Data recovery (Computer science), Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
A84
2011
31. Structure and interpretation of computer programs /
Author: Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,LISP (Computer program language)
Classification :
QA76
.
6
.
A255
1996
32. Synchronous Programming of Reactive Systems
Author: by Nicolas Halbwachs.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
33. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
34. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
